axiomatization policy

axiomatization policy
стратегия выдвижения аксиом; стратегия аксиоматизации

English-Russian dictionary of computer science and programming. 2013.

Игры ⚽ Поможем написать реферат

Смотреть что такое "axiomatization policy" в других словарях:

  • John von Neumann — Von Neumann redirects here. For other uses, see Von Neumann (disambiguation). The native form of this personal name is Neumann János. This article uses the Western name order. John von Neumann …   Wikipedia

  • Charles Sanders Peirce —  B …   Wikipedia

  • von Neumann, John — orig. Johann Von Neumann born Dec. 3, 1903, Budapest, Hung. died Feb. 8, 1957, Washington, D.C., U.S. Hungarian born U.S. mathematician. After receiving his Ph.D. from the University of Budapest, he emigrated to the U.S. to teach at Princeton… …   Universalium

  • Jacob Marschak — Infobox Scientist name = Jacob Marschak caption = birth date = birth date|1898|7|23|mf=y birth place = Kiev, Imperial Russia death date = death date and age|1977|7|27|1898|7|23|mf=y death place = Los Angeles, U.S. residence = U.S. nationality = U …   Wikipedia

  • Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… …   Wikipedia

  • applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

  • Comparison of instant runoff voting to other voting systems — This article is a comparison of various voting systems with Instant runoff voting (IRV), also called the Alternative Vote , preferential voting and ranked choice voting. Contents 1 Categories 2 Voting system criteria 3 Voting system results …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»